| Name | # Files | Name | # Files | Name | # Files | ||
|---|---|---|---|---|---|---|---|
| 2cnvrt11 | 7 | algbr212 | 5 | analys40 | 7 | ||
| blaise | 28 | caljnc | 11 | conv102 | 7 | ||
| dso | 2 | fract22 | 3 | fsultra1 | 64 | ||
| geomet1 | 3 | ise111 | 17 | lp100210 | 15 | ||
| mafia2a | 26 | maplev | 14 | mathpl33 | 11 | ||
| merln14i | 21 | morcalc | 5 | mrcry209 | 63 | ||
| nonlin25 | 34 | pcecap21 | 20 | physcsxa | 20 | ||
| skyextra | 3 | skygl35 | 8 | symbol42 | 4 | ||
| teeote | 106 | topov100 | 7 | weth35g | 22 | ||
| wxpro23a | 13 |